Section: Dissemination

Teaching - Supervision - Juries

• Mario Bravetti

  • Undergraduate: “Tecnologie Web”, 66 hours, 3rd year, University of Bologna, Italy.

  • Master: “Linguaggi di Programmazione e Modelli Computazionali”, 120 hours, 2nd year, University of Bologna, Italy.

• Ugo Dal Lago

  • Undergraduate: “Introduction to Programming in Python”, 20 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Optimization”, 36 hours, 2nd year, University of Bologna, Italy.

  • Master: “Cryptography”, 36 Hours, 2nd Year, University of Bologna, Italy.

• Maurizio Gabbrielli

  • Undergraduate: “Programming languages”, 40 hours, 2nd year, University of Bologna, Italy.

  • Master: “Artificial Intelligence”, 60 hours, 2nd year, University of Bologna, Italy.

• Elena Giachino

  • Undergraduate: “Programmazione”, 40 hours, 1st year, University of Bologna, Italy.

• Saverio Giallorenzo

  • Undergraduate: “Laboratorio di Operating Systems”, 40 hours, 2nd year, University of Bologna, Italy.

• Ivan Lanese

  • Undergraduate: “Programmazione”, 32 hours, 1st year, University of Bologna, Italy.

  • Master: “Ingegneria del Software Orientata ai Servizi”, 22 hours, 2nd year, University of Bologna, Italy.

• Cosimo Laneve

  • Undergraduate: “Programmazione”, 70 hours, 1st year, University of Bologna, Italy.

  • Master: “Analisi di Programmi”, 42 hours, 1st year, University of Bologna, Italy.

• Simone Martini

  • Undergraduate: “Introduction to programming in Python”, 58 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Computer abilities for biologists”, 8 hours, 1st year, University of Bologna, Italy.

  • Master: “Logical Foundations of Computer Science”, 48 hours, 2nd year, University of Bologna, Italy.

  • Undergraduate: “Programming languages”, 50 hours, 2nd year, University of Bologna, Italy.

• Jacopo Mauro

  • Undergraduate: “Algoritmi e strutture dati”, 20 hours, 1st year, University of Bologna, Italy.

• Giulio Pellitta

  • Undergraduate: “Tutorato informatico trasversale”, 100 hours, Degree in Quantitative Finance, University of Bologna, Italy.

  • Undergraduate: “Attivita' di supporto alla didattica universitaria di Informatica nell'ambito della Piattaforma di e-learning A3”, 120 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Idoneita' Informatica”, 50 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “C.I. Fisica, Informatica e Statistica - Modulo 2 Informatica”, 12 hours, 1st year, University of Bologna, Italy.

• Davide Sangiorgi

  • Undergraduate: “Operating Systems”, 110 hours, 2nd year, University of Bologna, Italy.

  • Master: “Models for concurrency”, 15 hours, 2nd year, University of Bologna, Italy.

• Marco Solieri

  • Undergraduate: “Programmation impérative”, 33 hours, 1st year, Inst. Galilée, Université Paris 13.

  • Undergraduate: “Structures de données”, 12 hours, 2nd year, Cursus preparatoire integré ingénieurs, Sup Galilée, Université Paris 13.

  • Undergraduate: “Programmation fonctionnelle”, 14 hours, 2nd year, Inst. Galilée, Université Paris 13

  • Undergraduate: “Programmation web”, 20 hours, 3rd year, Inst. Galilée, Université Paris 13

  • Undergraduate: “Administration système” 30 hours, 3rd year, Inst. Galilée, Université Paris 13

  • Master: “Internet, Intranet, Web”, 35 hours, 2nd year, Ecole d'ingénieurs Sup Galilée, Université Paris 13

  • Master: “Administration systeme Unix”, 44 hours, 3rd year, Ecole d'ingénieurs Sup Galilée, Universitśe Paris 13

• Gianluigi Zavattaro

  • Master: “Linguaggi di Programmazione e Modelli Computazionali”, 120 hours, 1st year, University of Bologna, Italy.

• Jean-Marie Madiot, “Higher-order languages: dualities and bisimulation enhancements”, jointly supervised by D. Sangiorgi and D. Hirschkoff. March 2015 [11] .

• R. Amadini. “Portfolio Approaches in Constraint Programming”, University of Bologna, June 2015 [10] .

Below are the details on the PhD students in Focus: starting date, topic or provisional title of the thesis, supervisor(s). These are all PhDs in progress.

• Ferdinanda Camporesi, January 2009, “Analysis of system biology”, R. Cousot (Ecole Normale, Paris) and M. Gabbrielli

• Alberto Cappai, January 2013; “Security, ICC and probabilistic bisimulation”, U. Dal Lago.

• Abel Garcia, January 2014, “Analysis of Cloud Computing Systems”, C. Laneve.

• Francesco Gavazzo, October 2015, “Causality in coinduction”, D. Sangiorgi.

• Saverio Giallorenzo, January 2013, “Real-World Choreographies”, M. Gabbrielli and F. Montesi

• Vincenzo Mastandrea, October 2015, “Deadlock analysis in ASP”, Cosimo Laneve (with Ludovic Henrio, CNRS Sophia Antipolis).

• Alessandro Rioli, January 2012; Bisimulation equivalence in quantum lambda calculi, U. Dal Lago.

• Marco Solieri, December 2011; “Géometrie de l'interaction, réseaux, et lambda-calcul”, S. Guerrini (Paris Nord) and S. Martini.

• Valeria Vignudelli, January 2014, “Probabilities in Higher-Order languages”, D. Sangiorgi.